Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
891	Page 1 Do primary school children ignore concessive connectives in text comprehension? Julia Knoepke, Tobias Richter, and Maj-Britt Isberner (University of Kassel) Johannes Naumann and Yvonne Neeb Add to Reading List Source URL: www.zas.gwz-berlin.de Language: English - Date: 2014-06-04 05:02:10 Predicate logic Propositions Logical connective Coherentism Theories of truth Sentence Coherence theory of truth Logic Philosophy Science
892	Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-06-21 08:43:28 Algebra Morphisms Algebraic geometry Predicate transformer semantics Program logic Pushout Graph rewriting Epimorphism Ample line bundle Abstract algebra Mathematics Category theory
893	CARNEGIE MELLON ETPS: A System to Help Students Write Formal Proofs by Peter B. Andrews Carnegie Mellon University Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2003-05-01 14:59:12 Mathematical proofs Predicate logic Peter B. Andrews Theorem Proving System First-order logic Direct proof Universal quantification KeY Function Mathematics Logic Mathematical logic
894	Anti-Realist Classical Logic and Realist Mathematics Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne October 13, 2009 Add to Reading List Source URL: consequently.org Language: English - Date: 2009-10-13 01:54:21 Semantics Proof theory Quantification Propositional calculus First-order logic Interpretation Intuitionistic logic Well-formed formula Atomic formula Logic Mathematical logic Predicate logic
895	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: us.metamath.org Language: English - Date: 2014-05-21 18:58:43 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics
896	PDF Document Add to Reading List Source URL: www.umass.edu Language: English - Date: 2009-11-30 15:00:10 Grammar Association of Public and Land-Grant Universities New England Association of Schools and Colleges Philosophy of language Year of birth missing Presupposition Predicate University of Massachusetts Irene Heim Logic Linguistics Semantics
897	European Master Clinical Linguistics - EMCL Add to Reading List Source URL: eacea.ec.europa.eu Language: English - Date: 2011-06-23 10:29:57 Mereology Predicate logic M2
898	Nothing over and above∗ Theodore Sider May 28, 2014 “The whole is nothing over and above the parts”—this slogan animates Add to Reading List Source URL: tedsider.org Language: English - Date: 2014-05-28 16:32:01 Mereology Predicate logic Structure Model theory Permutation Function Cardinal number Mathematics Mathematical logic Logic
899	Artificial Intelligence/ Language Processing C. Montgomery Editor Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:58:04 Automated theorem proving Predicate logic Programming paradigms Grammar First-order logic Semantic network Unification Resolution Semantics Logic Mathematics Mathematical logic
900	Towards a Logic-based Production System Language Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-08-20 04:15:20 Logic Prolog Futures and promises Frame problem Abductive logic programming Predicate Situation calculus Operational semantics Event calculus Logic programming Mathematical logic Theoretical computer science